1. Applied logic for computer scientists.
المؤلف: \ Mauricio Ayala-Rincón, Flávio L.C. de Moura.
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer science,Computer logic,کامپیوتر,منطق کامپیوتری,a01,a03,a01,a03
رده :
E-B00k
,
2. Logic, Rewriting, and Concurrency
المؤلف: \ Narciso Martí-Oliet , Peter Csaba Ölveczky, Carolyn Talcott (Eds.)
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer science,Computer logic,کامپیوتر,منطق کامپیوتری,a03,a05,a03,a05,Computer software -- Development.,نرم‌افزار -- تولید
رده :
QA
76
.
L6
2015
E-Book
,
3. Reachability Problems.
المؤلف: \ Mikołaj Bojańczyk , Sławomir Lasota, Igor Potapov (Eds.)
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer science,Computer logic,کامپیوتر,منطق کامپیوتری,a03,a04,a03,a04
رده :
QA
76
.
R4
2015
E-Book
,
